Denotational semantics - PDFSEARCH.IO - Document Search Engine

Denotational semantics
Results: 326

#	Item
321	PDF Document Add to Reading List Source URL: community.haskell.org Language: English - Date: 2010-06-14 10:32:33 Parallel computing Functional languages Functional programming Procedural programming languages Literate programming Algorithmic skeleton Monad Haskell Denotational semantics Computing Software engineering Computer programming
322	PDF Document Add to Reading List Source URL: www.thocp.net Language: English - Date: 2007-03-23 01:43:16 Models of computation Logic in computer science Functional languages Programming paradigms Lambda calculus John von Neumann Denotational semantics FP Functional programming Software engineering Computing Mathematics
323	PDF Document Add to Reading List Source URL: www.date-conference.com Language: English - Date: 2008-08-18 08:05:36 SystemC VHDL Verilog Denotational semantics Parallel computing Semantics Programming language Electronic engineering Hardware description languages Electronic design automation
324	PDF Document Add to Reading List Source URL: cswww.essex.ac.uk Language: English - Date: 2007-03-16 13:38:06 Formal methods Logic in computer science Programming language semantics Models of computation Meaning Semantics Denotational semantics Operational semantics Philosophy of mathematics Logic Mathematics Theoretical computer science
325	PDF Document Add to Reading List Source URL: soft.vub.ac.be Language: English - Date: 2000-12-12 03:14:54 Functional programming Adjoint functors Monad Programming paradigms Data types Haskell Denotational semantics List Main function Software engineering Computing Computer programming
326	PDF Document Add to Reading List Source URL: eprints.soton.ac.uk Language: English - Date: 2009-12-08 12:42:43 Computer science Petri net State transition system Structure Formal language Model theory Curry–Howard correspondence Denotational semantics Models of computation Mathematics Theoretical computer science